ساختار نحوی ومعنایی منطق تکلیف
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس
- نویسنده فرشته نباتی
- استاد راهنما ضیا موحد
- تعداد صفحات: ۱۵ صفحه ی اول
- سال انتشار 1381
چکیده
کمتر از یک قرن است ( از سال 1926) که نظامهایی منطقی برای بررسی مفاهیم هنجاری و استنتاجات مربوط به آنها ، بوجود آمده است. اولین نظامی که مورد توجه منطقیون قرار گرفت نظام فون رایت ( 1951) بود. برخی اشکالات موجود در نظام فون رایت ، منطقیون دیگررا بر آن داشت تا تغییراتی در نظام تکلیفی او ایجاد کنند حاصل این تغییرات ، نظام استاندارد منطق تکلیف است. اما این نظامها هم با پارادوکسهایی مواجه شدند و همین مواجهه ، منطقیون را واداشت تا نظامهای جدیدی ارائه دهند که در آنها امکان ایجاد پارادوکسهای مذکور نباشد. از جمله این نظامها ، نظامهای شرطی منطق تکلیف و نظامهای نسخ پذیر منطق تکلیف می باشند. بحث و بررسی در این زمینه همچنان ادامه دارد و منطقیون درصدد ارائه نظامهایی هستند که هر چه بهتر و دقیقتر بتوانند مفاهیم هنجاری و استدلالات منطقی مربوط به آنها را بیان کنند.
منابع مشابه
ساختار نحوی و معنایی منطق موجهات محمولی از دیدگاه کریپکی
سول کریپکی برای تبیین منطق موجهات محمولی دو نظام جداگانه (در سالهای 1959م و 1963م) طراحی کرده است. در این مقاله با بررسی اجمالی ساختار نحوی و ساختار معنایی دو نظام مذکور، به مقایسه آنها و میزان کارآیی هرکدام در تبیین منطق موجهات محمولی پرداخته شده‌است.
متن کاملساختار نحوی و معنایی منطق موجهات محمولی از دیدگاه کریپکی
سول کریپکی برای تبیین منطق موجهات محمولی دو نظام جداگانه (در سالهای 1959م و 1963م) طراحی کرده است. در این مقاله با بررسی اجمالی ساختار نحوی و ساختار معنایی دو نظام مذکور، به مقایسه آنها و میزان کارآیی هرکدام در تبیین منطق موجهات محمولی پرداخته شده است.
متن کاملساختار نحوی و سمانتیکی منطق ربط
منطق ربط شاخه ای از منطق جدید است که ارتباط میان مقدم و تالی (و یا میان مقدمات و نتیجه) را بیان می کند. در نظام استنتاج طبیعیِ منطق ربط، از ترکیب دو روش «برهانک» و «شماره فرض» استفاده می شود. در این پایان نامه با معرفی این روش ترکیبی، اعتبار و عدم اعتبار مثالهای متنوعی از استدلال های ربطی و غیر ربطی را نشان داده ایم. روتلی و مایر برای منطق ربط، سمانتیکی مشابه سمانتیک کریپکی طراحی کردند که در سا...
15 صفحه اولساختار نحوی و معنایی منطق آزاد
منطق های آزاد منطقهایی هستند که برخلاف منطق کلاسیک نسبت به نامها تعهد وجودی ندارند. یعنی نامهای به کاررفته در زبان ممکن است مرجعی در دامنه عالم گفتار نداشته باشند. اما منطقهای آزاد نسبت به متغیرهای مقید شده با سورها البته تعهد وجودی دارند. این مقصود با اصلاح اصل حذف سور کلی در منطق آزاد انجام می گیرد. منطق های آزاد بسته به اینکه به جملات حاوی نام های بدون مرجع چه ارزش صدقی نسبت دهند، به سه دسته...
15 صفحه اولساختار نحوی و معنایی منطق پارشناسی و ملاحظات فلسفی آن
جزء و کل مفاهیم بسیار آشنایی در زندگی روزمره هستند که فرد از نخستین سال های زندگی قادر به شناسایی و کاربرد آنها است. متافیزیک دانان از دیرباز به بحث هایی چون انواع کل ها، رابطه جزء و کل و ... پرداخته اند. لیکن بحث نظام مند درباب جزء و کل در اواخر قرن نوزدهم در نوشته های فرانتس برنتانو پدیدار شد. تلاش های برنتانو توسط شاگردان وی اشتومپف ، تفاردوفسکی و هوسرل پی گرفته شد. رویکرد منطقی به مباحث جزء...
15 صفحه اولساختار نحوی و معنایی و ملاحظات فلسفی در منطق کوانتومی
منطق کلاسیک در نظریه کوانتوم با چالشهایی مواجه میشود که از آن جمله میتوان به پارادوکس دو شکاف، پارادوکس فون نیومن، پارادوکس شرودینگر و پارادوکس epr اشاره کرد. در این پایان نامه ضمن بررسی این پارادوکسها، رابطه میان آنها را نیز مورد بررسی قرار میدهیم و نشان میدهیم که همه آنها به امر واحدی اشاره دارند که همان مفهوم برهمنهی یا سرشتگی پدیدههای کوانتومی است. پس از بیان ناکارآمدی منطق کلاسیک در حوزه ک...
15 صفحه اولمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023